Formal methods - PDFSEARCH.IO - Document Search Engine

Formal methods
Results: 2204

#	Item
411	Microsoft Word - simTD@RE2011_final Add to Reading List Source URL: www.simtd.de. Language: English - Date: 2014-02-18 10:24:21 Validity Science Software engineering Systems science Formal methods Verification and validation Systems engineering process Validation Software development process Systems engineering Software development Pharmaceutical industry
412	Secure Provision and Consumption in the Internet of Services FP7-ICT, ICTTrustworthy ICT) Project Nowww.spacios.eu Add to Reading List Source URL: www.spacios.eu Language: English - Date: 2014-02-06 15:50:08 Applied mathematics Formal methods Extended finite-state machine Theory of computation Finite-state machine Algorithm Grammar induction Models of computation Theoretical computer science Computer science
413	Wedding Boolean Solvers with Superposition: a Societal Reform Simon Cruanes École polytechnique and INRIA, 23 Avenue d’Italie, 75013 Paris, France https://who.rocq.inria.fr/Simon.Cruanes/ Add to Reading List Source URL: cedeela.fr Language: English - Date: 2015-03-03 04:50:17 NP-complete problems Logic in computer science Boolean algebra Electronic design automation Formal methods Satisfiability Modulo Theories Boolean satisfiability problem Solver Boolean data type Theoretical computer science Applied mathematics Mathematics
414	BRICS DS-04-1 B. Klin: An Abstract Coalgebraic Approach to Process Equivalence for Well-Behaved Operational Semantics BRICS Basic Research in Computer Science Add to Reading List Source URL: www.brics.dk Language: English - Date: 2004-08-23 08:48:12 Programming language semantics Logic in computer science Operational semantics BRIC Peter Mosses Gordon Plotkin Congruence relation Theoretical computer science Mathematics Formal methods
415	On Understanding Software Agility—A Social Complexity Point Of View E:CO Issue Vol. 13 NosppApplied On Understanding Software Agility— Add to Reading List Source URL: www.metaprog.com Language: English - Date: 2012-01-28 04:27:38 Agile software development Formal methods Systems Management Cynefin Extreme programming Wicked problem Software development process Requirement Software development Software Software project management
416	Communicating and trusting proofs: The case for foundational proof certificates Dale Miller ´ INRIA-Saclay & LIX/Ecole Polytechnique, Palaiseau, France Add to Reading List Source URL: www.lix.polytechnique.fr Language: English - Date: 2014-03-13 12:13:02 Mathematical logic Formal methods Automated theorem proving Logical syntax Formal languages Mathematical proof Formal proof Theorem Proof Logic Mathematics Proof theory
417	ParaScale: Exploiting Parametric Timing Analysis for Real-Time Schedulers and Dynamic Voltage Scaling ∗ 2 Sibin Mohan1, Frank Mueller1 , William Hawkins2 , Michael Root3 , Christopher Healy3 and David Whalley4 Add to Reading List Source URL: www.cs.fsu.edu Language: English - Date: 2005-09-23 10:35:49 Computer programming Software engineering Worst-case execution time Formal methods Static timing analysis Compiler optimization Analysis Assembly language Infinite loop Real-time computing Programming language implementation Computing
418	A Comprehensive Guide for Proposers to the EU Environmental Technologies Verification Pilot Programme AdvanceETV Add to Reading List Source URL: www.etv-danmark.dk Language: English - Date: 2012-09-13 06:18:03 Formal methods Logic in computer science Science Validation Applied mathematics Verification and validation Formal verification Verification Technology Pharmaceutical industry Validity Systems engineering
419	Randomness and Universal Machines Santiago Figueira∗ Frank Stephan† Guohua Wu‡ Add to Reading List Source URL: www.glyc.dc.uba.ar Language: English - Date: 2007-07-08 19:57:54 Computer science Turing machine Formal methods Models of computation Turing degree Recursively enumerable set Computability Μ-recursive function Lambda calculus Computability theory Theoretical computer science Theory of computation
420	How to Efficiently Translate Extensions of Temporal Logics into Alternating Automata C´esar S´ anchez1,2 and Julian Samborski-Forlese1 1 Add to Reading List Source URL: software.imdea.org Language: English - Date: 2014-06-27 10:56:07 Computer science Ω-automaton Deterministic finite automaton Nondeterministic finite automaton Linear temporal logic Finite-state machine Symbol Büchi automaton Automata theory Theoretical computer science Formal methods

UPDATE